برهان مستقیمبرهان مستقیم، یکی از اصطلاحات علم منطق و به معنای برهانی است که در آن مطلوب از مقدمات به اثبات برسد. ۱ - توضیح اصطلاحبرهان مستقیم در مقابل برهان خلف، برهانی است که در آن مطلوب از مقدمات به اثبات برسد، نه با ابطال نقیض آن. «برهان مستقیم مانند اینکه هر جیم باء است. هیچ باء الف نیست- پس هیچ جیم الف نیست». ۲ - پانویس
۳ - منبعخوانساری، محمد، فرهنگ اصطلاحات منطقی به انضمام واژه نامه فرانسه و انگلیسی، ص۴۸. |